Dependent Types, Proof Development, Ltac Programming, Mathematical Verification
A Poet Completes the Square
denisegaskins.com·45m
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·13m
Cactus Language • Stylistics 4
inquiryintoinquiry.com·22h
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
Historical highlights?
logicmatters.net·1d
Extensions and Shadows (6)
sites.psu.edu·1d
Students, here are 5 key things to know when learning how to train large language models
techradar.com·20h
Loading...Loading more...